Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
141	c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-04-14 05:36:42 Diagrams Algorithm Theoretical computer science Binary decision diagram Economic model Model checking Function Mathematics Boolean algebra Mathematical logic
142	Why Believability Cannot Explain Belief Revision Uri Hasson ([removed]) Psychology Department, Princeton University Princeton, NJ[removed]USA Philip N. Johnson-Laird ([removed]) Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:36:08 Philosophical logic Propositional calculus Logical consequence Binary operations Entailment Belief revision Conditional statement Causality Argument Logic Science Conditionals
143	Living Worksheets Topic ADDITION ADDITION ADDITION Add to Reading List Source URL: www.livingworksheets.co.uk Language: English - Date: 2012-06-05 17:31:49 Mathematical notation Logic puzzles Recreational mathematics Multiplication Fraction Pentazenium Addition Positional notation Sudoku Mathematics Elementary arithmetic Binary operations
144	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
145	The L LUNATIC Data-Cleaning Framework Floris Geerts1 Giansalvatore Mecca2 Paolo Papotti3 Donatello Santoro2,4 3 1 University of Antwerp – Antwerp, Belgium 2 Universit`a della Basilicata – Potenza, Italy Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-01 05:49:52 Binary operations Finitary relation Logic Mathematical logic Tuple Sheaf Mean Exponentiation Database normalization Mathematics Abstract algebra Data management
146	COGNITION Cognition[removed]–229 Illusory inferences: a novel class of erroneous deductions P.N. Johnson-Laird a ,, Fabien Savary b Add to Reading List Source URL: mentalmodels.princeton.edu Language: English* - Date: 2012-06-14 22:34:08 Propositional calculus Philosophical logic Conditionals Binary operations Mental model Material conditional Inference Natural deduction Argument Logic Science Reasoning
147	QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC Konstantine Arkoudas, Selmer Bringsjord Departments of Cognitive and Computer Science, RPI, Troy, NY, USA [removed], [removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:10 Philosophical logic Model theory Deduction Symbol Entailment Structure Interpretation If and only if Modal logic Logic Metalogic Binary operations
148	This article was downloaded by: [Princeton University] On: 11 May 2010 Access details: Access Details: [subscription number[removed]Publisher Psychology Press Informa Ltd Registered in England and Wales Registered Num Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:44 Binary operations Philosophical logic Logical connectives Counterfactual conditional Material conditional Mental model Conditional sentence Causality Logical biconditional Logic Conditionals Propositional calculus
149	Exhaustification of Polish disjunctive questions Clemens Mayr & Karolina Zuchewicz Center for General Linguistics (ZAS) & Humboldt University Overview Evidence from Polish suggests that the polar question (PQ) and altern Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:34 Logic Propositional calculus Binary operations Mathematics If and only if Exclusive or Yes–no question Intonation Question Linguistics Grammar Boolean algebra
150	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics

UPDATE